Englisch-Italienisch Übersetzung für heyting algebra

Definition für heyting algebra

  • A bounded lattice, ''L'', modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → , defined such that ∧''a'≤ ''b'and, moreover, that ''x'= ''a''→''b'is the ''greatest'element such that ''x''∧''a'≤ ''b'(in the sense that if ''c''∧''a'≤ ''b'then ''c'≤ ''a''→''b''

Mehr anzeigen

Häufigste Anfragen

keriä Tšekki kahle throwback anis seuraus haikea warranty jogurtti bias lovi palvelu jäätyä kallellaan mässa queue pending umpi- table deposit vitutus recess samaan aikaan generous kaula exclusive tomorrow stew tuxedo puoliso

Beliebte Wörterbücher

Englisch-DeutschFranzösisch-DeutschSpanisch-DeutschDeutsch-PortugiesischPolnisch-DeutschUngarisch-Deutsch

Übersetzung.cc

Übersetzung.cc ist ein kostenloses Online Wörterbuch. Mehr als 14 Millionen Übersetzungen.

AGB   Cookie   Kontakt

In EnglishEn españolPå svenskaSuomeksiEestikeelne

Mindmax
Quelle: Wiktionary.
Lizenz: Creative Commons Attribution-ShareAlike.
© 2004-2024 Übersetzung.cc